Dynamic Aspects of Knowledge Bases

A knowledge base is considered a system that is told information about an external world and that answers questions about this world. Our goal here is to outline knowledge bases that involve both knowledge and beliefs. In previous studies, various kinds of belief change have been studied in isolation, but we want to tie them together. We aim at knowledge bases that could carry the epistemic states of agents, that is, the knowledge and the beliefs that an agent has at any one moment in time. The difference between knowledge and belief is that while knowledge increases monotonically with time, beliefs may at some later point in time turn out to be false. Beliefs may change for various reasons: in belief revision, beliefs are changed when receiving new information about a world that has not changed, while in belief update a change in the world is to be recorded. Different types of change call for different treatments. In belief-change studies, various change types have been characterized by rationality criteria set on each type. The main principles in these criteria are maintaining consistency of beliefs and minimality of change. When dealing with belief change, our approach is to take knowledge as an integrity constraint that should always hold, and we describe how the rationality criteria should be modified accordingly. In our refined rationality criteria, beliefs that are inconsistent with the knowledge of the knowledge base will never be allowed to enter into the knowledge base. In the rationality criteria, a common assumption is that the most recent information is the most reliable, and it has therefore been prioritized over the old beliefs. However, this may not be the case in all circumstances. In order to complete the collection of belief-change types, we propose a new, commutative type of change for entering competing evidence into the knowledge base. The representation theorems that have been given for belief revision indicate that belief revision involves an ordering of disbelief on possible alternative situations, or equivalently, an epistemic entrenchment on logical formulas. A formula less entrenched is more easily given up when eliminating inconsistancies. In view of the changes in the rationality criteria, we also refine the representation theorems. We introduce two finite representations for knowledge bases, one with a finite ordered set of propositional formulas that are satisfiable but pairwise inconsistent with each other, and the other with a finite list of pairwise inconsistent propositional formulas. Both representations involve dynamic orderings of disbelief that have arisen out of the previous change operations. We show that for the knowledge base to satisfy the rationality criteria given for belief revision, the dynamic ordering of disbelief in the knowledge base is vital. The representations and the operators that we introduce in this thesis demonstrate how this ordering of disbelief could be dealt with in various operations.Tietämyskanta on järjestelmä, joka vastaanottaa ulkomaailmaa koskevaa informaatiota ja vastaa sitä koskeviin kyselyihin. Tietämyskantaa muutetaan, kun ulkomaailmasta saadaan uutta informaatiota, tai kun halutaan rekisteröidä siellä tapahtunut muutos. Väitöskirjatyössä hahmotellaan tietämyskantoja, jotka sisältävät sekä tietoa että uskomuksia. Uskomukset voivat osoittautua virheellisiksi, jolloin niitä voidaan joutua korjaamaan tai päivittämään. Filosofit ovat luonnehtineet uskomusten korjaamista asettamillaan järkevyyskriteereillä. Erityyppisillä muutoksilla on omat kriteerinsä. Tässä väitöstyössä järkevyyskriteerejä muutetaan siten, että tietämyskantaan ei hyväksytä tiedon kanssa ristiriitaisia uskomuksia, sekä esitetään uusi, kommutatiivinen muutostyyppi, jossa viimeisintä informaatiota ei priorisoida. Lisäksi analysoidaan, millä oletuksilla uskomusten korjaamiseen aiemmin ehdotetut kriteerit ovat keskenään ristiriitaiset. Tässä väitöskirjassa on ollut tavoitteena hahmotella tietämyskanta kokonaisuutena, jossa eri tyyppiset muutokset voivat vuorotella. Tietämyskannalle esitetään esimerkinomaisesti kaksi toteutustapaa, määritellään niille muutosoperaattorit sekä osoitetaan, että operaattorit toteuttavat muutostyyppinsä järkevyyskriteerit

How to Deal with Unbelievable Assertions

We tackle the problem that arises when an agent receives unbelievable information. Information is unbelievable if it conflicts with the agent’s convictions, that is, what the agent considers knowledge. We propose two solutions based on modifying the information so that it is no longer unbelievable. In one solution, the source and the receiver of the information cooperatively resolve the conflict. For this purpose we introduce a dialogue protocol in which the receiver explains what is wrong with the information by using logical interpolation, and the source produces a new assertion accordingly. If such cooperation is not possible, we propose an alternative solution in which the receiver revises the new piece of information by its own convictions to make it acceptable.Peer reviewe

Cooperative Replies to Unbelievable Assertions : A Dialogue Protocol Based on Logical Interpolation

Extended version of a paper with the same title presented at the Third International Conference on Agents and Artificial Intelligence (ICAART’11)We propose a dialogue protocol for situations in which an agent makes to another agent an assertion that the other agent finds impossible to believe. In this interaction, unbelievable assertions are rejected using explanations formed by logical interpolation and new assertions are being made such that all previous rebuttals are taken into account.Peer reviewe

Piileväyhteisöt jokivesien ekologisen tilan luokittelussa ja seurannassa – menetelmäohjeet

Piilevämenetelmää käytetään vesipolitiikan puitedirektiivin mukaisessa jokien ekologisen tilan luokittelussa ja seurannassa. Tähän julkaisuun on koottu Suomen oloihin sopiva ohjeistus menetelmän toteutuksesta näytteenotosta piileväpreparaattien valmistukseen ja tulosten tulkintaan. Lisäksi julkaisussa on esitelty pohjalevien ekologiaa

Serum FGF19 predicts outcomes of Kasai portoenterostomy in biliary atresia

BACKGROUND AND AIMS: Outcomes after Kasai portoenterostomy (KPE) for biliary atresia remain highly variable for unclear reasons. As reliable early biomarkers predicting KPE outcomes are lacking, we studied the prognostic value of FGF19. APPROACH AND RESULTS: Serum and liver specimens, obtained from biliary atresia patients (N=87) at KPE or age-matched cholestatic controls (N=26) were included. Serum concentration of FGF19 and bile acids, liver mRNA expression of FGF19, and key regulators of bile acid synthesis were related to KPE outcomes and liver histopathology. Immunohistochemistry and in situ hybridization were used for the localization of liver FGF19 expression. Serum levels (223 vs. 61 pg/mL, p<0.001) and liver mRNA expression of FGF19 were significantly increased in biliary atresia. Patients with unsuccessful KPE (419 vs. 145 pg/mL, p=0.047), and those subsequently underwent liver transplantation (410 vs. 99 pg/mL, p=0.007) had significantly increased serum, but not liver, FGF19, which localized mainly in hepatocytes. In Cox hazard modeling serum FGF19 <109 pg/mL predicted native liver survival (HR: 4.31, p<0.001) also among patients operated <60 days of age (HR: 8.77, p=0.004) or after successful KPE (HR: 6.76, p=0.01). Serum FGF19 correlated positively with increased serum primary bile acids (R=0.41, p=0.004) and ductular reaction (R=0.39, p=0.004). CONCLUSIONS: Increased serum FGF19 at KPE predicted inferior long-term native liver survival in biliary atresia and was associated with unsuccessful KPE, elevated serum primary bile acids, and ductular reaction

Kehitämme virtuaalisia elämyslääkkeitä sosiaali- ja terveysalalle

Virtuaalitodellisuus mahdollistaa uudenlaisten elämysten luomisen. Virtuaalitodellisuus on kuvitteellinen tai simuloitu ympäristö. Virtuaalitodellisuus on keinotekoinen maailma, joka on luotu tietokonegrafiikan tai 360-kuvan avulla. Se voi jäljitellä todellista ympäristöä tai se voi viedä käyttäjänsä fantasiamaailmaan

Nuoren motivoitumisen tukeminen: työvälineen kehittäminen NUOTTI-valmentajille

Opinnäytetyön tavoitteena oli vahvistaa NUOTTI-valmentajien keinoja nuorten motivoitumisen tukemiseen sekä antaa valmentajille uusia näkökulmia nuorten motivaatioon ja motivoitumisen merkitykseen. Opinnäytetyö toteutettiin yhteistyössä Coachers valmennuksen kanssa. Coachers valmennus tuottaa Kelan ylläpitämää ammatillista kuntoutusta nuorille. Opinnäytetyön tarkoituksena oli kehittää valmentajille toiminnallinen työväline, jota he voivat hyödyntää NUOTTI-valmennuksessa nuorten motivoitumisen tukemisessa. Tarkoitus opinnäytetyölle muodostui yhteistyökumppanin kanssa käytyjen keskustelujen pohjalta. Tietoperustana työvälineen kehittämisessä käytettiin toimintaterapian teoriaa, josta erityisesti inhimillisen toiminnan mallia ja motivaation herättämisprosessia. Lisäksi työvälineen kehittämisessä hyödynnettiin kehityspsykologian teorioita sekä motivaatioteorioita. Työvälinettä kehitettiin yhteiskehittelyn keinoin ja tuotoksen malliksi oli aluksi erilaisia vaihtoehtoja. Usean yhteisen palaverin jälkeen päädyttiin suunnittelemaan työväline korttien muotoon inhimillisen toiminnan mallin tahto-käsitteen ympärille. Tahto koostuu mallin mukaan arvoista, mielenkiinnon kohteista ja henkilökohtaisesta vaikuttamisesta. Kortit jaettiin toiminnan jäsentämiseksi kysymyskortteihin sekä toimintakortteihin, jotka ohjaavat yhteistä työskentelyä avainkäsitteiden pohjalta. Korttien käyttömahdollisuudet ovat monipuoliset, ja niiden käytön muokkaaminen asiakkaan tarpeiden mukaiseksi on yksinkertaista. Se ei vaadi suurta ennalta suunnittelua. Työvälineen vaikutus voi parhaimmillaan näkyä NUOTTI-valmennuksessa niin, että työvälineen käyttö tukee nuorta motivaation jäsentämisessä sekä tunnistamisessa. Motivaation sisältämien käsitteiden ymmärtäminen voi vahvistaa nuoren kokemaa merkityksellisyyttä omassa elämässään. Työväline mahdollistaa konkreettisen menetelmän näiden tavoitteiden eteen työskentelemiseksi. Jatkotutkimusaiheena opinnäytetyölle voisi olla valmentajien ja asiakkaiden kokemukset korttien käytöstä sekä niiden vaikuttavuudesta osana NUOTTI-valmennusta. Työvälinettä voisi jatkokehittää tutkimustulosten perusteella, minkä seurauksena työvälineen mahdollisuuksia pystyisi hyödyntämään laajemmin asiakastyössä sekä kuntoutuksen eri vaiheissa.The aim of the thesis was to strengthen the means of NUOTTI coaches to support motivation of young people and to give coaches new perspectives on young people’s motivation and the importance of motivation. The thesis was carried out in co-operation with Coachers coaching. Coachers produce professional rehabilitation for young people maintained by Kela. The purpose of the thesis is to develop a functional tool for coaches that can be used in NUOTTI coaching to support young people’s motivation as one of the procedures. The purpose of the thesis was brought up based on discussions with the working life partner. The knowledge base behind the development of the tool emerges from the knowledge base of occupational therapy, relying heavily on the Model of Human Occupation. The tool was developed through co-development and there were few different options to carry on with. After several meetings, a tool in the form of cards was designed around the concept of ‘will’ of the Model of Human Occupation, i.e., values, interests, and personal influence. In order to phase out the structure of activities, the cards were distributed between question cards and action cards, which in terms of content guides working with the client based on key concepts. The possibilities for using cards are versatile and it is simple to modify their use to meet the clients’ needs and it does not require much pre-planning. It can be done while working with the client when you see what the current state of the young person is and their capacity to deal with matters. As a result, the impact of the tool can be seen in NUOTTI coaching by supporting the young person by instructing and identifying motivation. Understanding the key concepts of motivation can strengthen the relevance a young person has experienced in their own lives. The cards provide a concrete method for working towards these goals. Developing the cards and gathering information via survey requires user experiences and assessments from both coaches and the client interface in order to assess the functionality of the working method. The topic of further research could be carried out as an assessment of the use of cards and their effectiveness as part of the NUOTTI coaching. Based on these research results, further development of the tool could be taken forward so that its potential can be utilized more widely in client work and at various stages of rehabilitation

A scoping review of Finnish doctoral dissertations in older people nursing science

Abstract Scientific research is important in guiding the development of evidence-based, cost-effective and comprehensive healthcare. The purpose of this scoping review was to analyse the current stage of research in the field of older people nursing science based on doctoral dissertations completed in Finnish universities. Altogether 418 doctoral dissertations in nursing science were published (1990–2015), and 44 of these (11%) represented older people nursing. The majority of the dissertations focused on patient and family or nursing activities. Usual topics were care procedures and clinical nursing (36%); self-care ability, independence (23%) and existence, being and feeling as an individual person (18%). Only one randomised controlled trial was conducted. The main informants were older people (78%) who were typically interviewed or surveyed. Research in older people nursing science in Finland is focusing on traditional clinical nursing settings. More innovative research is necessary from the perspective of health promotion and technological solutions

Toivon historia : Toivo Nygårdille omistettu juhlakirja

Jyväskylän yliopiston Suomen historian professori Toivo Nygård saavuttaa erään merkkipylvään 17.3.2003, jolloin hän täyttää 60 vuotta. Juhlapäivän kunniaksi ovat hänen työtoverinsa, oppilaansa ja ystävänsä laatineet teoksen, jonka artikkeleissa valotetaan Toivo Nygårdin tutkijaprofiilia. Tehtävä ei ole helppo monien aikakausien ja erilaisten teemojen tuntijan ollessa kyseessä. Toivottavasti myös artikkeleista välittyy se optimismi, "toivon historia", joka on ominaista Toivo Nygårdin omille tutkimuksille